Nuprl Definition : mlnk 11,40
mlnk(m) == m.1 
latex

Definitionst.1
FDL editor aliasesmlnk

origin